data race detection algorithm

См. также в других словарях:

• Collision detection — For collision detection on networks see CSMA/CD Collision detection typically refers to the computational problem of detecting the intersection of two or more objects. While the topic is most often associated with its use in video games and other …   Wikipedia

• Deterministic algorithm — In computer science, a deterministic algorithm is an algorithm which, in informal terms, behaves predictably. Given a particular input, it will always produce the same output, and the underlying machine will always pass through the same sequence… …   Wikipedia

• Vertex cover — In the mathematical discipline of graph theory, a vertex cover of a graph is a set of vertices such that each edge of the graph is incident to at least one vertex of the set. The problem of finding a minimum vertex cover is a classical… …   Wikipedia

• Windows Vista networking technologies — This article is part of a series on Windows Vista New features Overview Technical and core system Security and safety Networking technologies I/O technologies Management and administration Removed features …   Wikipedia

• Computer virus — Not to be confused with Malware. A computer virus is a computer program that can replicate itself[1] and spread from one computer to another. The term virus is also commonly but erroneously used to refer to other types of malware, including but… …   Wikipedia

• Global Positioning System — GPS redirects here. For other uses, see GPS (disambiguation). Geodesy Fundamentals …   Wikipedia

• Fermi paradox — The Fermi paradox is the apparent contradiction between high estimates of the probability of the existence of extraterrestrial civilizations and the lack of evidence for, or contact with, such civilizations.The extreme age of the universe and its …   Wikipedia

• Anti-spam techniques — To prevent e mail spam (aka unsolicited bulk email), both end users and administrators of e mail systems use various anti spam techniques. Some of these techniques have been embedded in products, services and software to ease the burden on users… …   Wikipedia

• Utah State University — Infobox University name = Utah State University motto = Research, Service, Teaching established = 1888 type = Public Land grant Space grant endowment = US $110.3 million president = Stan L. Albrecht city = Logan state = UT country = USA undergrad …   Wikipedia

• Transcranial doppler — (TCD) is a test that measures the velocity of blood flow through the brain s blood vessels. Used to help in the diagnosis of emboli, stenosis, vasospasm from a subarachnoid hemorrhage (bleeding from a ruptured aneurysm), and other problems, this… …   Wikipedia

• SETI — Search for Extra Terrestrial Intelligence (SETI) is the collective name for a number of activities to detect intelligent extraterrestrial life. The general approach of SETI projects is to survey the sky to detect the existence of transmissions… …   Wikipedia